DEF=test-ext
EXT=test-ext
TESTDIR=.
KOMPILE_BACKEND?=llvm
KOMPILE_FLAGS=--syntax-module TEST-EXT

include ../../../include/kframework/ktest.mak
